Generic program monitoring by trace analysis
نویسندگان
چکیده
منابع مشابه
Generic program monitoring by trace analysis
Program execution monitoring consists of checking whole executions for given properties in order to collect global run-time information. Monitoring is very useful to maintain programs. However, application developers face the following dilemma: either they use existing tools which never exactly t their needs, or they invest a lot of e ort to implement monitoring code. In this report we argue th...
متن کاملGeneric and Efficient Program Monitoring by trace analysis
Program execution monitoring consists of checking whole executions for given properties, and collecting global run-time information. Monitoring helps programmers maintain their programs. However, application developers face the following dilemma: either they use existing monitoring tools which never exactly fit their needs, or they invest a lot of effort to implement relevant monitoring code. I...
متن کاملProgram Instrumentation and Trace Analysis
Several attempts have been made recently to apply techniques such as model checking and theorem proving to the analysis of programs. This shall be seen as a current trend to analyze real software systems instead of just their designs. This includes our own effort to develop a model checker for Java, the Java PathFinder 1, one of the very first of its kind in 1998. However, model checking cannot...
متن کاملar X iv : c s . PL / 0 31 10 16 v 1 1 4 N ov 2 00 3 Generic Program Monitoring by Trace Analysis ⋆
Program execution monitoring consists of checking whole executions for given properties, and collecting global run-time information. Monitoring helps programmers maintain their programs. However, application developers face the following dilemma: either they use existing monitoring tools which never exactly fit their needs, or they invest a lot of effort to implement relevant monitoring code. I...
متن کاملSan Francisco Estuary Regional Monitoring Program for Trace Substances
.......................................................................................................................... 1 Abbreviations ..................................................................................................................
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theory and Practice of Logic Programming
سال: 2002
ISSN: 1471-0684,1475-3081
DOI: 10.1017/s1471068402001461